% -*- TeX-PDF-mode: t; TeX-master: "report"; -*-

\documentclass{llncs}

\usepackage{xspace}
\usepackage{url}
\usepackage{cite}
\usepackage{hyperref}
\usepackage{graphicx}

\newcommand{\biojpf}{{\sc BioJPF}\xspace}
\newcommand{\jpf}{{\sc JPF}\xspace}
\newcommand{\gsoc}{{\sc GSOC}\xspace}
\begin{document}

\title{Analysis of biological models in Symbolic PathFinder}
\subtitle{\small Stateflow Model of C-Elegans System}

\author{Jos\'e Miguel Rojas}
\institute{}
\maketitle


\section{Anchor Cell Machine}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/AnchorCell_lin3}
 \end{center}
 \caption{Anchor Cell -- Lin3 Gene}
 \label{img:lin3}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/AnchorCell_lin15}
 \end{center}
 \caption{Anchor Cell -- Lin15 Gene}
 \label{img:lin15}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/AnchorCell_ISDS}
 \end{center}
 \caption{Anchor Cell -- Inductive Signals}
 \label{img:is}
 \end{figure}

\section{Vulval Precursor Cell Machine}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_fate}
 \end{center}
 \caption{VPC -- Fate}
 \label{img:fate}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_let23}
 \end{center}
 \caption{VPC -- Let23}
 \label{img:let23}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_let60}
 \end{center}
 \caption{VPC -- Let60}
 \label{img:let60}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_lin12}
 \end{center}
 \caption{VPC -- Lin12}
 \label{img:lin12}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_ls}
 \end{center}
 \caption{VPC -- Lateral Signaling}
 \label{img:ls}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_lst}
 \end{center}
 \caption{VPC -- LST}
 \label{img:lst}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_mpk1}
 \end{center}
 \caption{VPC -- Mpk1}
 \label{img:mpk1}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_sem5}
 \end{center}
 \caption{VPC -- Sem5}
 \label{img:sem5}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_sur2}
 \end{center}
 \caption{VPC -- Sur2}
 \label{img:sur2}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_dep1}
 \end{center}
 \caption{VPC -- Dep1}
 \label{img:dep1}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_cellcycle}
 \end{center}
 \caption{VPC -- Cell Cycle}
 \label{img:cellcycle}
 \end{figure}

 \begin{figure}[h]
 \begin{center}
 \includegraphics[scale=.5]{images/VPC_counter}
 \end{center}
 \caption{VPC -- Counter}
 \label{img:counter}
 \end{figure}

%\section*{References}
\bibliographystyle{plain}
%\bibliographystyle{elsarticle-num}
\bibliography{project.bib}

\end{document}
